|
|
Code Generation from Object Oriented Petri Nets
Cibák, Michal ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
The goal of this thesis is to analyze the current solution of a code generator from Object oriented Petri nets written in PNTalk language to Java language, propose changes and implement them. First the overall scheme was analyzed and missing parts were specified, then the source code of the compiler was analyzed and errors were found. The proposed corrections of errors in the compiler were made and some missing parts from the scheme were partially implemented within the compiler.
|
|
|
Tool for Software Systems Design
Hrubý, Daniel ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
The tool for software systems design is an aplication for simplification of system development. Use case diagram helps to make comunication between customer and developer better, then with the use of class diagram rewrite draft to object concept and thanks to object oriented Petri nets describe aplications behavior. First we will look on programs with similiar specialization, then describe each diagram and Object oriented Petri net. After that we will introduce application itself, testing and possible extensions.
|
|
|
The Tool for Object Oriented Petri Nets
Josefík, Martin ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This thesis deals with creation of the tool for Object Oriented Petri Nets which uses two different languages PNML and PNtalk. PNML is an XML-based interchange format for Petri nets. Its advantage is that it is possible to describe each element of Petri net by element of PNML language. PNtalk is based on the formalism of Object Oriented Petri Nets and also on Smalltalk language. The tool for OOPN will communicate with the external application PNtalk system in order to exchange models between these two applications. There will be discussed possible extensions for the tool at the end of the thesis.
|
|
| |
|
|
Code Generation from Object Oriented Petri Nets
Kelemen, Erik ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This thesis focuses on transformation model described by object oriented Petri net to sequence diagram, which allows reverse mapping to original description. As a solution is used discrete simulation of model described in PNtalk language. Result of work is fully automated generator, which generates sequence diagram according to gathered data from simulation. Generator aims for minimal loss of relevant information and presenting valid sequence diagram.
|
|
|
Model Based Design of Software Systems
Hanák, Tomáš ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This bachelor thesis deals with modern approach in creating software systems that is named Model-Driven Software Development. This metodology eliminates a lot of critical problems that can appear in conventional metodologies of creating software systems. Main idea of this approach is based on posibility to generate final code from conceptual models that can be done automatically or semi-automatically.
|
|
|
Editor of Object Oriented Petri Nets
Kovács, Zoltán ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
The thesis deals with design and implementation of the editor object-oriented Petri nets described by language PNTalk. A PNTalk compatible representation and storage format based on XML technologies will be created. The design of the individual parts of the editor focuses on the internal storage facilities, on the graphical user interface and its functionality. In the final part there are practical demonstrations of the application.
|
|
|
Framework for Creation and Verification of Specification Models
Matalík, Štěpán ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
The thesis deals with Object Oriented Petri Nets (OOPN) and with developing of tool for creation and verification of specification models. In the first part of the thesis are described formalisms of existing Petri net types, including OOPN. Next part involves in creation of editing tool, that also allows triggering of simulation models on a remote server. Editor output is a graphic diagram of Petri net and also a simulation model described in PNtalk language, which is the implementation of OOPN based on Smalltalk language. Simulation models runs on the server in Pharo Smalltalk enviroment. At the end of the thesis are shown examples of appropriate simulations and possible tool extensions.
|
|
|
Code Generation from Object Oriented Petri Nets
Fryč, Tomáš ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This thesis describes modeling systems using Object Oriented Petri Nets (OOPN) and design of mechanism which transforms this formalism into Java programming language. The first part of the thesis describes Petri Nets formalism, its extension to object orientaton and PNtalk language, which is specific implementation of OOPN. The next part deals with the mechanism that generates equivalent models in Java from models described by PNtalk, and describes how to simulate these generated models. The generator is designed to be easily expandable and the generated models can be easily modifiable.
|
|
|
Interpreter of Petri Nets Formalism
Blažek, Tomáš ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This thesis deals with the concept of the formalism of Petri nets, which allows to investigate the dynamic behavior of parallel and nondeterministic systems. Furthermore, this deals with its variant of Object-Oriented Petri Nets (OOPN), which aims to facilitate the process of modeling systems with an object-oriented approach. The aim of this master thesis is to design an internal representation of OOPN models, which is suitable for efficient interpretation and implement compiler from PNtalk language into the internal representation. Subsequently, design and implement an OOPN model interpreter using this internal representation of models, which in addition to Petri net objects, must also be able to work with a selected subset of objects from the Java language.
|
guest ::
